Transformation Systems at NASA Ames

نویسندگان

  • Wray Buntine
  • Bernd Fischer
  • Klaus Havelund
  • Michael Lowry
  • Tom Pressburger
  • Steve Roach
  • Peter Robinson
چکیده

In this paper, we describe the experiences of the Automated Software Engineering Group at the NASA Ames Research Center in the development and application of three di erent transformation systems. The systems span the entire technology range, from deductive synthesis, to logic-based transformation, to almost compiler-like source-to-source transformation. These systems also span a range of NASA applications, including solving solar system geometry problems, generating data analysis software, and analyzing multithreaded Java code.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Experience with Parallel Computers at NASA Ames

Beginning in 1988, the Numerical Aerodynamic Simulation (NAS) organization at NASA Ames Research Center has studied the usability of highly parallel computers on computational uid dynamics and other aerophysics applications. Presently this organization operates a CM-2 with 32,768 nodes and an Intel iPSC/860 with 128 nodes. This note gives an overview of the experience in using these systems, hi...

متن کامل

Consolidated laser-induced fluorescence diagnostic systems for the NASA Ames arc jet facilities

The spectroscopic diagnostic technique of two photon absorption laser-induced fluorescence (LIF) of atomic species for non-intrusive arc jet flow property measurement was first implemented at NASA Ames in the mid-1990s. In 2013-2014, NASA combined the agency’s large-scale arc jet test capabilities at NASA Ames. Concurrent with that effort, the agency also sponsored a project to establish two co...

متن کامل

A Survey of Knowledge Management Research & Development at NASA Ames Research Center

This chapter catalogs knowledge management research and development activities at NASA Ames Research Center as of April 2002. A general categorization scheme for knowledge management systems is first introduced. This categorization scheme divides knowledge managemnt capabilities into five broad categories: knowledge capture, knowledge preservation, knowledge augmentation, knowledge disseminatio...

متن کامل

The Nasa/ames Mars General Circulation Model: Model Improvements and Comparison with Observations

R.M. Haberle, NASA/Ames Research Center ([email protected]), J.L Hollingsworth, NASA/Ames Research Center ([email protected]), A. Colaprete, NASA/Ames Research Center ([email protected]) A.F.C. Bridger, San Jose State University ([email protected]), C.P. McKay, NASA/Ames Research Center ([email protected]), J.R. Murphy, New Mexico State University (mur...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999